Search results for "Canonical model"
showing 6 items of 6 documents
Integration of distributed healthcare records: publishing legacy data as XML documents compliant with CEN/TC251 ENV13606
2003
To support co-operative work among health professionals and institutions it is necessary to share healthcare information about patients in a meaningful way. But, nowadays, in most hospitals health data are distributed across several information systems whose interconnection is difficult to achieve, this leads to the so-called islands of information. This paper briefly describes the architecture, design and implementation of the PANGEA system. PANGEA allows healthcare professionals to access patient information stored in heterogeneous autonomous information systems through a set of formal aggregates of health data based on the European pre-standard of Healthcare Record Architecture ENV13606 …
Awareness and Partitional Informational Structures
1997
We begin with an example to motivate the introduction of the concept of unawareness in models of information. There are a subject and two possible states of the world, σ and τ. At σ a certain fact p happens — it is true — and the subject sees it or hears it or anyhow perceives it, so that he knows it is true (in Geanakoplos [5] the subject is Sherlock Holmes’ assistant and fact p is ‘the dog barks’). At state τ fact p does not occur (it is false), and the subject not only does not see it or hear it etc.; but what is more, he does not even think of the possibility that it might: fact p is not present to the subject’s mind. What is an appropriate formal model for this story?
Individual Variability and Average Reliability in Parallel Networks of Heterogeneous Biological and Artificial Nanostructures
2013
We simulate the collective electrical response of heterogeneous ensembles of biological and artificial nanostructures whose individual threshold potentials show a significant variability. This problem is of current interest because nanotechnology is bound to produce nanostructures with a significant experimental variability in their individual physical properties. This diversity is also present in biological systems that are however able to process information efficiently. The nanostructures considered are the ion channels of biological membranes, nanowire field-effect transistors, and metallic nanoparticle-based single electron transistors. These systems are simulated with canonical models…
Deontology of Compound Actions
2018
This paper, being a companion to the book [2] elaborates the deontology of sequential and compound actions based on relational models and formal constructs borrowed from formal linguistics. The semantic constructions presented in this paper emulate to some extent the content of [3] but are more involved. Although the present work should be regarded as a sequel of [3] it is self-contained and may be read independently. The issue of permission and obligation of actions is presented in the form of a logical system . This system is semantically defined by providing its intended models in which the role of actions of various types (atomic, sequential and compound ones) is accentuated. Since the…
Projective unification in transitive modal logics
2018
We show that a transitive normal modal logic L enjoys projective unification (i.e. each unifiable formula is projective) if and only if L contains K4D1 ( D1 : ( x → y ) ∨ ( y → x ) ). It means, in particular, that K4D1 (and any of its extensions) is almost structurally complete, i.e. the logic is complete with respect to all non-passive admissible rules. We also characterize non-unifiable formulas and provide an explicit form of the basis for all passive rules over K4G + ( x → x )
Performability of Actions
2021
AbstractAction theory may be regarded as a theoretical foundation of AI, because it provides in a logically coherent way the principles of performing actions by agents. But, more importantly, action theory offers a formal ontology mainly based on set-theoretic constructs. This ontology isolates various types of actions as structured entities: atomic, sequential, compound, ordered, situational actions etc., and it is a solid and non-removable foundation of any rational activity. The paper is mainly concerned with a bunch of issues centered around the notion of performability of actions. It seems that the problem of performability of actions, though of basic importance for purely practical ap…